On Message Specifications in OCL
نویسندگان
چکیده
منابع مشابه
On Message Specifications in OCL 1
The object constraint language (OCL) is the established language for specifying of properties of objects and object structures. Recently an extension of OCL has been proposed for the specification of messages sent between objects. In this paper we present a generalization of this extension which allows additionally to specify causality constraints. From a pragmatic point of view, such causality...
متن کاملUsing OCL Beyond Specifications
Despite of its important potential and role in defining a more rigorous modeling language and in designing and implementing safer applications, until today OCL was not used at its true value. Using the results obtained in implementing OCL support in ROCASE, and taking into account the conclusions obtained testing the tools mentioned at http://www.klasse.nl/ocl, the paper tries to analyze this s...
متن کاملSemantics of OCL Operation Specifications
The semantics of OCL operation specifications is discussed from a model theoretic perspective. It is argued that the semantics of operation specifications as defined in the OCL 2.0 proposal is not compatible with the view of operation specifications as contracts between a client and a supplier. As a solution, a semantics of OCL operation specifications based on standard model theory is presente...
متن کاملConstraint Specifications Using Patterns in Ocl
Constraint patterns are very useful for specifying OCL constraints on UML class models. They potentially shorten the development time and reduce the errors for constraint development by providing predefined templates that can be instantiated in particular contexts. Constraint patterns can be identified by analyzing existing constraints for recurring expressions and abstracting from them. This p...
متن کاملAlgebraic Semantics of OCL-Constrained Metamodel Specifications
In the definition of domain-specific languages a MOF metamodel is used to define the main types of its abstract syntax, and OCL invariants are used to add semantic constraints. The semantics of a metamodel definition can be given as a model type whose values are well-formed models. A model is said to conform to its metamodel when it is a value of the corresponding model type. However, when OCL ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.02.017